Brisacier, Jean de, jésuite engagé dans la lutte contre Port-Royal